// Copyright (c) 2015 Runtime Verification, Inc. (RV-Match team). All Rights Reserved.

int main(void) {
      struct {int x; } a;
      struct {int x; } b;

      int* p = &a.x;
      int* q = &b.x;

      _Bool _b = &p < &p;
}
